formalisable

formalisable

formaliser [ fɔrmalize ] v. tr. <conjug. : 1>
• 1878; de formel, d'apr. l'angl. to formalize
Didact. Réduire (un système de connaissances) à ses structures formelles. Formaliser un raisonnement. axiomatiser; formalisation. Syntaxe formalisée. P. p. adj. Opérations logiques formalisées. Logique formalisée. axiomatique, logistique. Adj. FORMALISABLE . Description formalisable.

formalisable
adj. Didac. Qui peut être formalisé.

formalisable [fɔʀmalizabl] adj.
ÉTYM. XXe (av. 1944, Cavaillès); de 2. formaliser.
Didact. Qui peut être formalisé (2. Formaliser).
0 La théorie de la science prend l'héritage de la logique, dépasse même ses ambitions : dans la mesure où elle se confondrait avec le système de tous les formalismes possibles, elle absorberait, au lieu de canoniser, la totalité des démonstrations (…) formalisables.
Jean Cavaillès, Sur la logique et la théorie de la science, p. 33.

Encyclopédie Universelle. 2012.

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • formaliser — (se) [ fɔrmalize ] v. pron. <conjug. : 1> • 1539; de formel, d apr. lat. formalis ♦ Être choqué d un manquement à la politesse formelle, au savoir vivre, aux conventions sociales. ⇒ s offenser, s offusquer, se piquer, se vexer. Se… …   Encyclopédie Universelle

  • MATHÉMATIQUES , DE LA DIVERSITÉ À L’UNIFICATION — «Ce que nous appelons la réalité objective, c’est, en dernière analyse, ce qui est commun à plusieurs êtres pensants, et pourrait être commun à tous; cette partie commune [...], ce ne peut être que l’harmonie exprimée par des lois mathématiques.» …   Encyclopédie Universelle

  • Philosophe stoïcien — Stoïcisme Écoles de l’Antiquité École milésienne École pythagoricienne Atomisme École éléatique Sophistique Académie Lycée …   Wikipédia en Français

  • Portique (philosophie) — Stoïcisme Écoles de l’Antiquité École milésienne École pythagoricienne Atomisme École éléatique Sophistique Académie Lycée …   Wikipédia en Français

  • Stoicisme — Stoïcisme Écoles de l’Antiquité École milésienne École pythagoricienne Atomisme École éléatique Sophistique Académie Lycée …   Wikipédia en Français

  • Stoïcien — Stoïcisme Écoles de l’Antiquité École milésienne École pythagoricienne Atomisme École éléatique Sophistique Académie Lycée …   Wikipédia en Français

  • Stoïcienne — Stoïcisme Écoles de l’Antiquité École milésienne École pythagoricienne Atomisme École éléatique Sophistique Académie Lycée …   Wikipédia en Français

  • Stoïciens — Stoïcisme Écoles de l’Antiquité École milésienne École pythagoricienne Atomisme École éléatique Sophistique Académie Lycée …   Wikipédia en Français

  • Stoïcisme — Le stoïcisme est une école philosophique de la Grèce antique, fondée par Zénon de Citium en 301 av. J. C. C est par la suite un courant philosophique hellénistique qui a traversé les siècles, subi des transformations (notamment avec Chrysippe en… …   Wikipédia en Français

  • Stoïque — Stoïcisme Écoles de l’Antiquité École milésienne École pythagoricienne Atomisme École éléatique Sophistique Académie Lycée …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”